(define (sub-sq a b)
    (if (> a b)
    0
    (+ (square a)
       (sub-sq (1+ a) b))))

; (trace sub-sq)
(sub-sq 3 5)